(0 18 15)(1 19 6)(2 17 4)(3 10 5)(7 13 9)(8 20 12)(11 16 14)
ALLOWS (11/8)-SEQUENCE
1: (12 17 20)
(0 18 15)(1 19 6)(2 17 8 20 4)(3 10 5)(7 13 9)(11 16 14)(12)
2: (4 8 20)
(0 18 15)(1 19 6)(2 17 8)(3 10 5)(4)(7 13 9)(11 16 14)(12)(20)
3: (3 10 5)
(0 18 15)(1 19 6)(2 17 8)(3)(4)(5)(7 13 9)(10)(11 16 14)(12)(20)
4: (7 13 9)
(0 18 15)(1 19 6)(2 17 8)(3)(4)(5)(7)(9)(10)(11 16 14)(12)(13)(20)